A language for configuring multi-level specifications
نویسندگان
چکیده
منابع مشابه
A Language for Configuring Multi-level Specifications
This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A configuration is a description in the new language of how a system is constructed hierarchically from specifications of its component parts. Category theory has been used to represent the composition of specifications that share...
متن کاملNettle: A Language for Configuring Routing Networks
Interdomain routing is the task of establishing connectivity among the independently administered networks (called autonomous systems) that constitute the Internet. The protocol used for this task is the Border Gateway Protocol (BGP) [1], which allows autonomous systems to independently define their own route preferences and route advertisement policies. By careful design of these BGP policies,...
متن کاملSeparation Of Concerns in Multi-language Specifications
We present an analysis of the separation of concerns in multi-language design and multilanguage specifications. The basis for our analysis is the paradigm of the multi-dimensional separation of concerns, which claims that multiple dimensions of concerns in a design should be implemented independently. Multi-language specifications are specifications where different concerns of a design are impl...
متن کاملA Language for Role Specifications
This paper presents a new language for identifying the changing roles that objects play over the course of the computation. Each object’s points-to relationships with other objects determine the role that it currently plays. Roles therefore reflect the object’s membership in specific data structures, with the object’s role changing as it moves between data structures. We provide a programming m...
متن کاملConfiguring Component-based Specifications for Domain-Specific Languages
The “Jacob” system supports language design processes on a very high level of abstraction, enabling experts from application domains to design their own domain-specific languages. The system provides a representation of the language design space for a certain application domain. The user specifies his language design by composing and configuring language components. During this design process, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2006
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2005.09.065